1. Bounded : incremental computation
پدیدآورنده: G. Ramalingam
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing,، Computer algorithms,، Graph theory
رده :
QA
76
.
L28
Vol
.
1089
2. Programming languages and systems :
پدیدآورنده: G. Ramalingam (ed.).
کتابخانه: کتابخانه دانشکده مطالعات جهان (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Formale Spezifikationstechnik,Java ,NebenlaufigkeitBisimulationKongressBangalore <2008>,Programmiersprache,Programmverifikation,Congresses.,Kongress,Kongress,Kongress,Kongress,Kongress,Bisimulation,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>
رده :
QA76
.
7
.
A65
2008
